3.4 排中律と直観主義論理